ra144: factor division out