:: Int -> Int -> Bool is:exact