Ok -- probably simplest to leave it as a (base 10) number, then.  A comment here doesn't make sense either.