That's fair. It is an Android consideration though...

# stdlib

[damian]

That's fair. It is an Android consideration though, since nearly all the APIs use floats instead of doubles, so there are some big use cases