Does BigQuery not represent floats as IEEE754?

Question

Consider:

SELECT
    CAST(\'0x3ff0000000000000\' AS FLOAT64) AS f, 
    CAST(\'0x0000000000000001\' AS INT64) AS i

returns

[
  {