NONIUS, Ludovicus