#28222

For DIV it should work.