const GreaterDoubleUint64: "greater_double_uint64" = "greater_double_uint64"
const
"greater_double_uint64"