Posted by gouessej on Feb 04, 2019; 12:32pm
URL: https://forum.jogamp.org/Question-about-Java-floating-point-tp4039465p4039471.html

It seems to be dormant. You should ask this question on one of the mailing lists mentioned in the ticket.