const _IMPL_ARBITRARY_FOR_CastFloat64ToUint64: ();