Hyperfinite methods applied to the Critical Branching Diffusion