module Prelude where primDoubleFromInteger primitive 1 :: Integer -> Double