move to ceiling

kadena-io · Oct 15, 2024 · 11fa505 · 11fa505
1 parent 62e5e15
commit 11fa505
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/pact/Pact/Core/IR/Eval/CEK/CoreBuiltin.hs b/pact/Pact/Core/IR/Eval/CEK/CoreBuiltin.hs
@@ -219,8 +219,8 @@ rawPow info b cont handler _env = \case
   decPow base pow = do
     when (base == 0 && pow < 0) $
       throwExecutionError info (FloatingPointError "zero to a negative power is undefined")
-    let integralPart = floor pow
-    chargeGasArgs info $ GIntegerOpCost PrimOpPow (floor base) integralPart
+    let integralPart = ceiling pow
+    chargeGasArgs info $ GIntegerOpCost PrimOpPow (ceiling base) integralPart
     result <- guardNanOrInf info $ MPFR.mpfr_pow base pow
     returnCEKValue cont handler (VLiteral (LDecimal result))
 

diff --git a/pact/Pact/Core/IR/Eval/Direct/CoreBuiltin.hs b/pact/Pact/Core/IR/Eval/Direct/CoreBuiltin.hs
@@ -222,8 +222,8 @@ rawPow info b _env = \case
   decPow base pow = do
     when (base == 0 && pow < 0) $
       throwExecutionError info (FloatingPointError "zero to a negative power is undefined")
-    let integralPart = floor pow
-    chargeGasArgs info $ GIntegerOpCost PrimOpPow (floor base) integralPart
+    let integralPart = ceiling pow
+    chargeGasArgs info $ GIntegerOpCost PrimOpPow (ceiling base) integralPart
     result <- guardNanOrInf info $ MPFR.mpfr_pow base pow
     return (VLiteral (LDecimal (result)))