safeDiv :: SafeValue h a  -> Int -> SafeValue h a
safeDiv (Value x) k =
    Value (x `div` fromIntegral k)
safeDiv :: SafeValue h a  -> Int -> SafeValue h a
safeDiv (Value x) k =
    Value (x `div` fromIntegral k)
safeDiv (Value x) k =
    Value (x `div` fromIntegral k)