Toolsmith sells enchanted iron pickaxes for the wrong price

A parity issue.

What was expected
In the Java edition, a toolsmith sells an enchanted iron pickaxe for 9-11 emeralds, so I was expecting that.

What happened
The toolsmith sells an enchanted iron pickaxe for 9-10 emeralds. It's defined this way in the vanilla behavior pack.