Various improvements on java.util.Formatter

This PR fixes the following

- Floating point formatting (e, f, g conversion)
- s conversion
- Positional arguments (`<` flag)