I've seen it plenty of times. safety critical controllers have numeric bounds of stability. why wouldn't you want to encode that into the type