Stream: beginners

Topic: Num.toDec missing?

view this post on Zulip Artur Swiderski (May 28 2023 at 15:31):

I don't see such function in api, although other similar like toF32.. etc are present

view this post on Zulip Brendan Hansknecht (May 28 2023 at 15:48):

Yeah, it's missing

view this post on Zulip Brendan Hansknecht (May 28 2023 at 15:48):

I recently filed #5446 about it

Last updated: Jul 06 2025 at 12:14 UTC