It has been two years since I played this and posted that. I no longer recall how. Most likely, I clicked a button or manually entered the number somewhere (as "1.0e+20" since most JavaScript handles those kind of numbers without problem).
