Hi all, I'm wondering: is there any type that represents e.g. a floating point value that is guaranteed to be within some interval (e.g. [0,1]?). My practical use-case would be that I'm reading in input data from json, which may be ill-behaved — obviously I could just manually check, and then keep track of which numbers in which record fields are within which intervals, but coming from less strongly typed programming languages I wonder if there would be a "typed" way to do this, too.