const _IMPL_ARBITRARY_FOR_CastInt16ToFloat64: ();