Removed integer/real distinction