let xk_decimalpoint                                = 0xabd