-
Klaus Aehlig authored
...in order not to have to declare floating point values as VTypeInt and rely on the sloppiness of the JSON specification to not distinguish between integers and floating point numbers. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com>
94c42103