: bi@- ( a b quot -- n ) bi@ - ; inline