在F#中实现约束数字类型的成语/惯例？

假设需要一个允许值落在指定范围内的数值数据类型.更具体地说,假设想要定义一个整数类型,其最小值为0,最大值为5000.这种情况出现在许多情况下,例如建模数据库数据类型,XSD数据类型等.

在F#中建模这种类型的最佳方法是什么？在C#中,一种方法是定义一个实现范围检查重载运算符,格式化等的结构.这里描述了F#中的类似方法:http://tomasp.net/blog/fsharp-custom-numeric.aspx/

我真的不需要一个完全成熟的自定义类型; 我真正想要的只是一个带有约束域的现有类型.例如,我希望能够写出类似的东西

type MyInt = Value of uint16 where Value <= 5000 (pseudocode)

是否有一种速记方式在F#中执行此类操作,或者是实现自定义数字类型的最佳方法,如上述博客文章中所述？