maybe `return -S.Infinity if F.is_zero else S.Zero`?