handle i64 undef; helps #5