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

Convert from an Int.