I'd actually be inclined to go with `double` here as we are already changing some API's around.