who invented the first folding ruler