Use Java Math round for typed Float32 Kotlin lowering

ober

a5f8f20633b29ed734bac54a9380bd337d58eced

diff --git a/lib/jerboa/typed/kotlin/lower.ss b/lib/jerboa/typed/kotlin/lower.ss
index cf0411b..12107e5 100644
--- a/lib/jerboa/typed/kotlin/lower.ss
+++ b/lib/jerboa/typed/kotlin/lower.ss
@@ -231,7 +231,7 @@
         [(jvm-float32-abs)
          (make-kt-call (make-kt-name '(kotlin math abs)) args)]
         [(jvm-float32-round-to-int32)
-         (make-kt-call (make-kt-name '(kotlin math roundToInt)) args)]
+         (make-kt-call (make-kt-name '(java lang Math round)) args)]
         [(string-length)
          (make-kt-member-call
            (make-kt-member-get (car args) 'length)
diff --git a/tests/test-typed-kotlin.ss b/tests/test-typed-kotlin.ss
index 31a8c52..cdbceff 100644
--- a/tests/test-typed-kotlin.ss
+++ b/tests/test-typed-kotlin.ss
@@ -313,8 +313,8 @@
 
 (test-contains "Float32 abs lowers to Kotlin math abs" float32-math-kotlin
   "kotlin.math.abs((a - b))")
-(test-contains "Float32 round to Int32 lowers to Kotlin math roundToInt" float32-math-kotlin
-  "kotlin.math.roundToInt((0.25f * a))")
+(test-contains "Float32 round to Int32 lowers to Java Math.round" float32-math-kotlin
+  "java.lang.Math.round((0.25f * a))")
 
 (define note-form
   '(typed-library (sample typed notes)