const _IMPL_ARBITRARY_FOR_CastUint16ToFloat64: ();