Approximate

attribs.spad line 52 [edit on github]

An approximation to the real numbers.