Add Comparable specs to Bignum class