positive 0 from 0