[prerok]

Sorry? That's not possible...

[gmadsen]

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