That should be S.Zero being returned. Also, I'm not sure if there is a difference between writing `expt.is_positive` or `expt > 0`. Also, does it do the right thing if the expt is 0?