Add integer_seq from n3493.html - not filled in.
Merge remote-tracking branch 'origin/master'