fixed an issue in fixed_point