Double IEEE constants: infinity, NaN, epsilon ... where are they?

[nicolabotta]

Is there a way of accessing these values in Idris 2? Something like Numeric.IEEEin Haskell? At lest epsilon, infinity and NaN are badly needed, e.g., to implement interval arithmetics! Thanks, Nicola

[edwinb]

I've labelled this with "Feature request" - we ought to have them really. If anyone wants pointers on where to start implementing it, please let me know.