No need to assume integers