Matthias Roca number line