Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata (Logical Methods in Computer Science, 2026)