I think you are correct. Clearly I am still traumatised by the cost of converting floats to ints in the x86 era.