Specs for big integer parameters