A Lexicographical encoding of Java BigDecimals - View it on GitHub