Fixed wrong treatment of "single.precision".