NONNIUS, Ludovicus