Make all_children() more robust to process termination
Accept floating-point intervals