Java utilities, especially numerical routines