Due to JSON serialization problems with floating values in PHP, would it be possible to use integer milliseconds (micro, nano or what not) rather than floating point seconds when defining timing in the Wikispeech-server response?
PHP related "bug" can be seen here:
https://bugs.php.net/bug.php?id=75800