Testing con dobles en PHP