想对Currency类型重新定义一下,让其只能进入>=0的值,在整型上有Cardinal类型,但实型不知该如何定义,能不能实现啊。