double -> float

python does not have a built-in double type