Zulip Chat Archive
Stream: new members
Topic: Equivalent of String.toNat? for Float and Int?
Kevin Cheung (Nov 15 2024 at 19:51):
Is there an equivalent of String.toNat
for Float
(i.e. String.toFloat
) and for Int
(i.e. String.toInt
)? The documentation does not seem to show that these exist. If that's the case, are there easy ways to convert strings to floats or ints?
Damiano Testa (Nov 15 2024 at 21:49):
There was this previous question that may be relevant.
Edward van de Meent (Nov 16 2024 at 06:55):
I'm guessing you could call docs#reprStr on it? i see i misread the question
Last updated: May 02 2025 at 03:31 UTC