Basically, move the decimal dot 10 spaces to the right.
I can do this in my head by thinking like this: There are three numbers after the decimal, so I only need to add 7 zeros.
Then I would right it out like this: 9125
then add 7 zeros: 91250000000
.....................................1234567
Hope this helps, and May the Force Be With You!
-Jabba