module Prelude where primEncodeDouble primitive 2 :: Integer -> Int -> Double