checkpoint - assertion and query working, signed integer broken