add alt and fdiv