Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Float reading and writing is inconstent on Kotlin JS #322

Closed
Burtan opened this issue May 9, 2024 · 4 comments · Fixed by #323
Closed

Float reading and writing is inconstent on Kotlin JS #322

Burtan opened this issue May 9, 2024 · 4 comments · Fixed by #323

Comments

@Burtan
Copy link

Burtan commented May 9, 2024

Hey,
the following snippet

"test float to bytes" {
    val buffer = Buffer()
    buffer.writeFloat(0.999f)
    buffer.readFloat() shouldBe 0.999f
}

gives this result.

AssertionFailedError:
Expected :0.999
Actual   :0.9990000128746033

JVM works fine.

@fzhinkin
Copy link
Collaborator

fzhinkin commented May 9, 2024

As writeFloat/readFloat documentation stated, these functions use Float.toBits and Float.fromBits to serialize floats to bitstream and back.
On JS, Floats have a wider range (as they are backed by Number, which is an IEEE 745 double-prevision 64-bit floating point number), so Float.toBits may produce numbers that are not equal to initial values (see docs).

The only thing we can improve here is stressing this peculiarity in docs.

@Burtan
Copy link
Author

Burtan commented May 9, 2024

Thanks for the clarification. As there is also writeDouble/readDouble, this is very unexpected if you don't know that JS is only using 64-bit floating points underneath. I don't know if it is possible to trim the float values to 32-bit precision stored in a 64-bit variable?

@fzhinkin
Copy link
Collaborator

I don't know if it is possible to trim the float values to 32-bit precision stored in a 64-bit variable?

Sure, it's possible, but with potential precision loss (which is always the case for values that could not be represented exactly, like 0.999).

While JS Numbers are always double-precision floating point numbers, JS also provides TypedArrays, where values have fixed width in binary representation. When writing values into these arrays, 64-bit fp Numbers are converted to an arrays' type (in fact, semantics is defined for storing in array's buffer, with the float64 to float32 conversion described here).

To "trim" double-precision fp to a single-precision fp, Kotlin's Float.toBits uses typed arrays with a shared buffer to extract Float's binary representation. As a result, we can get 4 bytes representing a IEEE 754 single-precision fp that was obtained by rounding double-precision Number backing the Float.

Float.fromBits performs transformation in the opposite direction, but reading a value from JS Float32Array converts it back to Number with mantissa least significant bits being "zero-padded", leading to 0.999f not being equal to Float.fromBits(0.999f.toBits()).

fzhinkin added a commit that referenced this issue May 10, 2024
@fzhinkin fzhinkin linked a pull request May 10, 2024 that will close this issue
fzhinkin added a commit that referenced this issue May 10, 2024
@Burtan
Copy link
Author

Burtan commented May 11, 2024

Float behaving as Double in KotlinJS is discussed here.
https://youtrack.jetbrains.com/issue/KT-24975/Enforce-range-of-Float-type-in-JS

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants