Their representative told that they are aware of the issue and they are working on it to fix it. So we can probably use decimals after some time.