Simple kernel provides the direct implementation of the predicates. These are meant to be used with exact arithmetic signed tpyes (eg. i32, i64).
