Optimized appendDouble0() and refined tests