9646d3f963
.. mp_obj_get_float handles the case where the arg is an int already. This saves 12 bytes of code size on trinket_m0.