fix bug where 2 was parsed as VDouble 2.0 and thus rendered by pretty printing as 2.0, producing invalid CSS in some cases