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

Convert from an Int.