LaxNum/StrictNum/Num stuff