const _IMPL_ARBITRARY_FOR_CastUint32ToFloat64: ();