But there is an implicit cast from math::Int to Dataspace. So you can use math::Int when DataSpace is demanded.