[Python-ideas] millisecond and microsecond times without floats

[random832 at fastmail.us]

On Mon, Jun 22, 2015, at 19:15, Paul Sokolovsky wrote:
> 
> 
> Hello from MicroPython, a lean Python implementation
> scaling down to run even on microcontrollers 
> (https://github.com/micropython/micropython).
> 
> Our target hardware base oftentimes lacks floating point support, and
> using software emulation is expensive. So, we would like to have
> versions of some timing functions, taking/returning millisecond and/or
> microsecond values as integers.

What about having a fixed-point decimal numeric type to be used for this
purpose?

Allowing time (and stat, and the relevant functions of the datetime
module) to return any real numeric type rather than being required to
use float would be a useful extension.