Ordinary Log10 lt nat iff