state ex 4 'ints'
state ex 5 'double' via 'map'