My rationale for Float was that it is a timeout which isn't precise by definition. This isn't a strong opinion though, I will change it to Double.