:: Int -> Float -package:ghc-prim -package:github package:dimensional

Convert from an Int.