minor Infinity and BasicReal improvements