explicit use of floating point