Indeed they are, but given that this is a 'DIY' forum, I doubt that there is any great need to consider the industrial ones. I would imagine that even most of the electricians in this forum have little or no experience of the 'industrial beasts' you talk about! .... Nevertheless ....Domestic and industrial RCD's are very different beasts.
A minute sounds like a long time. Even if the trip threshold was a 1A residual current, particularly in an industrial environment, the actual fault current which flowed for that minute could presumably be hundreds, if not thousands, of amps?...However these were never designed for personal safety as such. Often set with one minute delay and one amp differential to trip them.
Kind Regards, John