bad include in toints after gt -> ge