Does this answer your question? [How to get numbers after decimal point?](https://stackoverflow.com/questions/3886402/how-to-get-numbers-after-decimal-point)
– michjnichFeb 19 '20 at 20:08
This sounds like an X/Y problem -- what are you actually trying to do? It's almost certainly not to get the number to the right of the decimal (which would be `25`)
– Adam SmithFeb 19 '20 at 20:08