That is a Niedner number.


gbehrman