Minor change to utils.asy for dealing with single precision.