const _IMPL_ARBITRARY_FOR_NegFloat64: ();