:: Int -> Float -package:ghc package:dimensional -is:exact

Convert from an Int.