Remove type information from untypable sections
`override-method` some `java.lang.Math` functions and remove unnecessarily `double`