Added precision specifiers to interval debugging dumps