public static function decodeServerResponse($json) { $result = new NumberDatum(); $result->setValue((double) $json); return $result; }