Change TextMetrics.width to be Double

Everything's blowing up on mobile devices! (Safari iPad3, Firefox/Chrome on Android).  The MDN spec in the comment above specifies that this should be a Double ;)

Seems desktops luckily set TextMetrics.width to an integer, but on mobile devices this is not so certain, so I hadn't noticed until just now.