quick hack to fix price precision in margin trader