safeAdjust RoundDown d (Value x) = Just $ Value $ floor   (d * fromIntegral x)
safeAdjust RoundDown d (Value x) = Just $ Value $ floor   (d * fromIntegral x)
safeAdjust RoundDown d (Value x) = Just $ Value $ floor   (d * fromIntegral x)