const _IMPL_ARBITRARY_FOR_CastInt64ToFloat64: ();