Tested that all elements are fixnums for 2, when not otherwise specified