Times

All times used in the JSON files are floats, meaning a decimal number.
The number ZERO can be written as 0 or 0.0, where 0.0 is preferred due to easier legibility and distinction between decimal and integer numbers.