Closed jakobbraun closed 3 years ago
Currently, doubles are rendered java doubles but they should be rendered in the notation with an E.
Currently, doubles are rendered java doubles but they should be rendered in the notation with an E.