The cardinal number equal to 5 × 10.