Does anyone know what type/size of ball point pen tip the one on the left is called? (Right is uniball signo micro 207 for comparison of thickness)