value is now real instead of integer