[GNSS/nav] lambda_ztran return integer type. Add tests for lambda_decorrel.