refined float, statment, and numRef type definitions