Add float support (used by nginx) for times /timems / timeus