: int FIX2INT(VALUE x)

