I figured they used Binary Coded Decimal [0] when they need to support decimals.<p>[0] : <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Binary-coded_decimal" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Binary-coded_decimal</a>