Add lessi and lessf
Implement mul{i,f}, neg{i,f}, sub{i,f}