Reads a double value.
@pragma('vm:prefer-inline') double readDouble() { return readNum().toDouble(); }