From 80ca11c1d8cbbf0418664a5b23a812dfb1d474d9 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 26 May 2022 13:40:50 +0100
Subject: [PATCH]

---
 openpower/sv/int_fp_mv.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn
index 46a76e9c6..1f4dc044a 100644
--- a/openpower/sv/int_fp_mv.mdwn
+++ b/openpower/sv/int_fp_mv.mdwn
@@ -476,7 +476,7 @@ Section 7.1 of the ECMAScript / JavaScript
 def fp_to_int_java_script<fp, int>(v: fp) -> int:
     if v is NaN or infinite:
         return 0
-    v = rint(v, rounding_mode)
+    v = rint(v, rounding_mode)  # assume no loss of precision in result
     v = v mod int::VALUE_COUNT  # 2^32 for i32, 2^64 for i64, result is non-negative
     bits = (uint)v
     return (int)bits
-- 
2.30.2