let
xk_decimalpoint = 0xabd