No implicit widening conversions ...

... between integral and floating point types.
In this case the efficiency is martin and the map is me, and it effectively reflects our different priorities.