Fix proc_terminate for floating-point signal. Clean up code.