Computational Issues in a Nonlinear Observer for Systems with Quantized Outputs