Small optimization in sdb_array_add_num()