More work on smcnum.