Probability
# Create a RealPos x <- 12/13 type(x) # Convert the RealPos to Probability y := Probability(x) type(y)