const _IMPL_ARBITRARY_FOR_CastNumericToFloat64: ();