It’s not the trip current, but the trip time. You can still get a current spike in the water for way too long before the GFCI trips. I have seen this unwittingly tested by a not-so-smart contractor who dropped his die grinder into my hot tub. I felt very lucky to have not been in said hot tub.