Don't rely on implicit promotion of float to double in printf args.