2014-07-24-16.04.56: src/lib/std/src/int.api:  Add list_min, list_max.