Real Line numbers in linum