Is it actually much faster than PHP *7*?