How many significant decimal digits for real single precision?