It's used to some extent in the aviation industry for flight-critical software. So maybe huge in some contexts.