const GreaterEqualsDoubleUint64: "greater_equals_double_uint64" = "greater_equals_double_uint64"
const
"greater_equals_double_uint64"